%{
#include<stdio.h>
#include<stdlib.h>
void first();
void second();
double mark[1000]={0};
int num=0;
int norepeat=0;
%}
%%

^([0-9]+)				{	first();		}
"NAME"$					{	printf("zxb");		}
([0-9]+\.[0-9]+)|([0-9]+)		{	second();		}
[\x21-\x2f\x3a-\x7f]+			{	printf("%s",yytext);	}

%%
void first(){
	int i=0;
	double d;
	if(yyleng==9){
	printf("201492338");
	}
	else{
	num++;
	d=atof(yytext);
	printf("%lld",(long long int)(d*2+201492338));
	while(i<norepeat&&d!=mark[i]){i++;}
	if(d!=mark[i])
	mark[norepeat++]=d;
	}
	}
void second(){
	int i=0;
	double d;
	num++;
	d=atof(yytext);
	while(i<norepeat&&d!=mark[i]){i++;}
	if(d!=mark[i])
	mark[norepeat++]=d;
	d=d*2+201492338.0+0.5;
	printf("%d",(int)(d));
	}
int main(){
        yylex();
        printf("\ntotally:  %d\n",num);
        printf("norepeat: %d\n",norepeat);
        return 0;
	}
